From 7af47820e80e302d678c7c81f5874f702f24a8c0 Mon Sep 17 00:00:00 2001 From: "cl349@firebug.cl.cam.ac.uk" Date: Tue, 30 Aug 2005 20:01:23 +0000 Subject: [PATCH] Raise VIRQ_DOM_EXC when a domain is destroyed from dom0. Signed-off-by: Christian Limpach --- xen/common/domain.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/xen/common/domain.c b/xen/common/domain.c index 713e5bb3ff..8405fff7b0 100644 --- a/xen/common/domain.c +++ b/xen/common/domain.c @@ -114,6 +114,8 @@ void domain_kill(struct domain *d) sched_rem_domain(v); domain_relinquish_resources(d); put_domain(d); + + send_guest_virq(dom0->vcpu[0], VIRQ_DOM_EXC); } } -- 2.30.2